Search Results
[ICFP'22] Conclusions and Awards
[ICFP'22] Staged Compilation with Two-Level Type Theory
ICR232: So you're thinking of transferring your pension
ICFP 2012. Philip Wadler: Propositions as Sessions.
3 01 Tribute to Paul Hudak
ICFP 2020 Session NY 6
ICFP 2020 Session NY 1
ICFP Session 1
ICFP 2020 Session NY 5
How to Write Papers So People Can Read Them
[ML'22] Efficient and Scalable Parallel Functional Programming Through Disentanglement
ICFP101 Webinar for Virtual Attendance (ENG)
![[ML'22] Efficient and Scalable Parallel Functional Programming Through Disentanglement](https://img.youtube.com/vi/IMPF-Vz1YqI/hqdefault.jpg)
![[ICFP'22] Conclusions and Awards](https://img.youtube.com/vi/bFgs7ek6ZPI/hqdefault.jpg)
![[ICFP'22] Staged Compilation with Two-Level Type Theory](https://img.youtube.com/vi/0BOQE48_qOM/hqdefault.jpg)
